-
-
Notifications
You must be signed in to change notification settings - Fork 17
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Aqua + typos CI #253
Aqua + typos CI #253
Conversation
Codecov ReportAttention:
Additional details and impacted files@@ Coverage Diff @@
## master #253 +/- ##
===========================================
- Coverage 89.90% 74.47% -15.43%
===========================================
Files 25 25
Lines 3208 3205 -3
===========================================
- Hits 2884 2387 -497
- Misses 324 818 +494 ☔ View full report in Codecov by Sentry. |
Hi, thanks for the PR. |
I don't think so. Why wouldn't those two methods get upstreamed? They seem like generally useful functions for the package that defines the algebraic types? |
@ArnoStrouwen Thanks!
I also like this better. Another option would be to
I agree with Chris, at least for |
Right, I agree, we can rename |
I guess, they would rather appreciate a PR) |
Superseded by #274 |
Aqua found possible type piracy.
Should those methods be upstreamed?
total_degree
,vars